Reduce Sat To 3-Colorability - Intro To Algorithms